Category:Models of computation
From HandWiki
Here is a list of articles in the Models of computation category of the Computing portal that unifies foundations of mathematics and computations using computers.
The category of Computational Models lists abstract models for investigating computing machines. Standard computational models assume discrete time paradigm.
Subcategories
This category has the following 18 subcategories, out of 18 total.
A
- Abstract machines (6 P)
C
D
- Denotational semantics (6 P)
L
O
- Computation oracles (8 P)
P
- Petri nets (20 P)
- Process calculi (21 P)
Q
R
- Register machines (6 P)
- Reversible computing (10 P)
S
T
- Transition systems (5 P)
- Turing machine (30 P)
Pages in category "Models of computation"
The following 134 pages are in this category, out of 134 total.
A
B
C
- Cache-oblivious algorithm
- Cache-oblivious distribution sort
- CARDboard Illustrative Aid to Computation
- Categorical abstract machine
- Cell-probe model
- Channel system (computer science)
- Chaos computing
- CIP-Tool
- Communicating finite-state machine
- Communicating X-Machine
- Communicating X-machine
- Complexity and Real Computation
- Computational model
- Computing with Memory
- Computing with memory
- Counter automaton
- Counter-machine model
D
E
H
M
O
P
R
S
- Biography:James Sakoda
- Scott information system
- Sea of nodes
- SECD machine
- Shape Modeling International
- Engineering:Silq
- Stack machine
- State (computer science)
- State space
- Stochastic cellular automaton
- Stochastic Petri net
- Stream processing
- Stream X-Machine
- Structured program theorem
- SXM (computational model)
